Cos'è tertium non datur?

Tertium non datur è una locuzione latina che significa "terzo non è dato". Si tratta di un principio logico e filosofico secondo il quale una proposizione può essere vera o falsa, senza possibilità di una terza opzione.

Questo principio deriva dal principio di non contraddizione, che afferma che una proposizione e la sua negazione non possono essere contemporaneamente vere. Ad esempio, se una proposizione afferma che "oggi piove", la sua negazione sarà "oggi non piove". In base a tertium non datur, non è possibile che vi sia una terza opzione, come ad esempio "oggi piove a metà".

Tertium non datur viene ampiamente utilizzato nella logica formale e matematica per stabilire l'esclusività di un'alternativa. Ad esempio, se una proposizione è vera, allora la sua negazione sarà falsa, e viceversa.

Questo principio è anche applicato in vari altri campi, come la filosofia, la teoria dei giochi e la legge. Inoltre, è spesso utilizzato come strumento per confutare argomenti fallaci o mostrare l'invalidità di alcune proposizioni.